E has dimension n as a vector space over F.
Notation: [E:F] = n.